transition:    
x0-a-x1;
x1-b-x0;
initial:
x0;
final: 
x0.